#ifndef _DevicesTime_H_
#define _DevicesTime_H_
/*
* Author: honrun
*/


#include <stdint.h>



extern volatile uint32_t g_lTimerHigh;


uint32_t lTimeGetStamp(void);
void vTimeSetStamp(uint32_t lUNIXTimeStamp);


#endif
